1. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
Author: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
Q
334
.
A766
1996
2. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
Author: Jacques Calmet, John A. Campbell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
737
3. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
Author: Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1138
